ASSURE: Automatic Software Self-healing Using REscue points Stelios Sidiroglou, Oren Laadan, Carlos R. Perez, Nicolas Viennot, Jason Nieh, and Angelos D. Keromytis Columbia University {stelios, orenl, carlosrene, nv2195,

Source URL: www.cs.columbia.edu

• Computer errors
• Software bugs
• Software testing
• Fault-tolerant computer systems
• Fault injection
• Application checkpointing
• Crash
• Server
• Exception handling
• Computing
• Software quality
• Software

Record and Transplay: Partial Checkpointing for Replay Debugging Across Heterogeneous Systems Dinesh Subhraveti Jason Nieh

Source URL: www.cs.columbia.edu

• Virtual memory
• Application checkpointing
• Process
• Thread
• Kernel
• Memory protection
• Paging
• Fork
• Parallel computing
• Computing
• Memory management
• Computer architecture

A Communication Framework for Fault-tolerant Parallel Execution Nagarajan Kanna1? , Jaspal Subhlok1 , Edgar Gabriel1 , Eshwar Rohit1 , and David Anderson2 1

Source URL: www2.cs.uh.edu

• Inter-process communication
• Parallel computing
• Dataspaces
• Information technology management
• Application checkpointing
• Effi
• Thread
• Message passing
• Computer cluster
• Computing
• Fault-tolerant computer systems
• Concurrent computing

Blocking Application-level Checkpointing for OpenMP Programs Greg Bronevetsky, Martin Schulz, Peter Szwed, S. Shafat Zaman Department of Computer Science Cornell University, Ithaca, NYI. Introduction

Source URL: www.compunity.org

• Parallel computing
• Application checkpointing
• OpenMP
• Thread
• Lock
• Fault-tolerant system
• Shared memory
• Computer cluster
• Earth Simulator
• Computing
• Concurrent computing
• Fault-tolerant computer systems

ZAP-Paper-r30-UpdatedRef-MyScience-Numbers.mif

Source URL: www.cs.columbia.edu

• Virtual machines
• Cluster computing
• Parallel computing
• Application checkpointing
• Virtualization
• Physical-to-Virtual
• Single system image
• Memory virtualization
• MOSIX
• System software
• Software
• Computing

Practical Model-Checking Method for Verifying Correctness of MPI Programs Salman Pervez1 , Ganesh Gopalakrishnan1 , Robert M. Kirby1 , Robert Palmer1 , Rajeev Thakur2 , and William Gropp2 1

Source URL: www.mcs.anl.gov

• Parallel computing
• Application programming interfaces
• Model checking
• MPICH
• Application checkpointing
• Promela
• ISP
• Thread
• ISP Formal Verification Tool
• Computing
• Computer programming
• Software

Checkpoint and Restart for Distributed Components in XCAT3 Sriram Krishnan Dennis Gannon Department of Computer Science, Indiana University.

Source URL: www.extreme.indiana.edu

• Computer architecture
• Application checkpointing
• Component-based software engineering
• Parallel computing
• Open Grid Services Infrastructure
• Fault-tolerant system
• Computer cluster
• Grid computing
• Computing
• Fault-tolerant computer systems
• Software engineering

Application Monitoring and Checkpointing in HPC: Looking Towards Exascale Systems ∗ William M. Jones

Source URL: www.parl.clemson.edu

• Parallel computing
• Cluster computing
• Application checkpointing
• Supercomputing
• Exascale computing
• Computer cluster
• Job scheduler
• Supercomputer
• Fault-tolerant system
• Computing
• Fault-tolerant computer systems
• Concurrent computing

Application Resilience: Making Progress In Spite of Failure William M. Jones John T. Daly and Nathan A. DeBardeleben

Source URL: www.parl.clemson.edu

• Systems engineering
• Statistics
• Fault-tolerant computer systems
• Mean time between failures
• Job scheduler
• Scheduling
• Application checkpointing
• Redundancy
• Operating system
• Survival analysis
• Failure
• Reliability engineering

HeuvelineFalzBlatt-1.indd

Source URL: www.scc.kit.edu